REF, NoConds
\\[0ex]BHyp \$a  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(if ((\$a) = 0) then BackThruSomeHyp else BHyp (\$a) )$\cdot$